Drop GtkWidget::destroy-event
authorMatthias Clasen <mclasen@redhat.com>
Mon, 1 Jan 2018 21:51:37 +0000 (16:51 -0500)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 16 Jan 2018 19:14:09 +0000 (14:14 -0500)
commit7b581ca096225b99027f2f10f73a64e3e1847809
treeff2c8c832837dc46739ba8bde9e6da3e10acdf13
parent2b52b4be5dd33e69bf8a31dac0f21c06a5627e5e
Drop GtkWidget::destroy-event

This signal is unused in GTK+, and is documented as
'hard to ever get', so there's no good reason for
keeping it.
gtk/gtkwidget.c
gtk/gtkwidget.h